"formal language" meaning in English

See formal language in All languages combined, or Wiktionary

Noun

Audio: LL-Q1860 (eng)-Vealhurl-formal language.wav Forms: formal languages [plural]
Head templates: {{en-noun}} formal language (plural formal languages)
  1. (computing theory) A set of finite strings (called words) made of symbols (from a finite set of symbols, called an alphabet). Hyponyms: regular language Holonyms: formal system Meronyms: alphabet, symbol, word Translations (set of finite strings): formele taal (Afrikaans), gjuhë formale [feminine] (Albanian), لُغَة رَسْمِيَّة (luḡa rasmiyya) [feminine] (Arabic), لُغَة مُتَصَرِّفَة (luḡa mutaṣarrifa) [feminine] (Arabic), لُغَة صُورِيَّة (luḡa ṣūriyya) [feminine] (Arabic), rəsmi dil (Azerbaijani), фарма́льная мо́ва (farmálʹnaja móva) [feminine] (Belarusian), форма́лен ези́к (formálen ezík) [masculine] (Bulgarian), 形式語言 /形式语言 (xíngshì yǔyán) (Chinese Mandarin), formální jazyk [masculine] (Czech), formalsprog [neuter] (Danish), formele taal [feminine, masculine] (Dutch), formala lingvo (Esperanto), artefarita lingvo (Esperanto), ametlik keel (Estonian), formaali kieli (Finnish), langage formel [masculine] (French), formale Sprache [feminine] (German), τυπική γλώσσα (typikí glóssa) [feminine] (Greek), שָׂפָה פוֹרְמָלִית (safá formalít) [feminine] (Hebrew), שָׂפָה רִשְׁמִית (safá rishmít) [feminine] (Hebrew), औपचारिक भाषा (aupcārik bhāṣā) [feminine] (Hindi), formális nyelv (Hungarian), bahasa formal (Indonesian), زَبانِ صوری (zabân-e suri) (Iranian Persian), teanga fhoirmiúil [feminine] (Irish), linguaggio formale [masculine] (Italian), 形式言語 (keishiki gengo) (alt: けいしきげんご) (Japanese), 형식 언어 (hyeongsik eoneo) (alt: 形式言語) (Korean), formāla valoda [feminine] (Latvian), formalioji kalba [feminine] (Lithuanian), форма́лен јазик (formálen jazik) [masculine] (Macedonian), formelt språk [neuter] (Norwegian Bokmål), język formalny [masculine] (Polish), linguagem formal [feminine] (Portuguese), limbaj formal [neuter] (Romanian), форма́льный язы́к (formálʹnyj jazýk) (Russian), cainnt foirmeil [feminine] (Scottish Gaelic), формални језик [Cyrillic, masculine] (Serbo-Croatian), formalni jezik [Latin, masculine] (Serbo-Croatian), formálny jazyk [masculine] (Slovak), formalni jezik [masculine] (Slovene), lenguaje formal [masculine] (Spanish), formellt språk [neuter] (Swedish), забони сурӣ (zabon-i suri) (Tajik), ภาษาแบบแผน (paa-sǎa-bɛ̀ɛp-pɛ̌ɛn) (Thai), resmi dil (Turkish), форма́льна мо́ва (formálʹna móva) [feminine] (Ukrainian), rasmiy til (Uzbek), ngôn ngữ hình thức (Vietnamese), ký ngữ hình thức (Vietnamese)
    Sense id: en-formal_language-en-noun-LzD2ngoP Categories (other): Arabic terms with non-redundant manual transliterations, English entries with incorrect language header, Entries with translation boxes, Pages with 1 entry, Pages with entries, Terms with Afrikaans translations, Terms with Albanian translations, Terms with Arabic translations, Terms with Azerbaijani translations, Terms with Belarusian translations, Terms with Bulgarian translations, Terms with Czech translations, Terms with Danish translations, Terms with Dutch translations, Terms with Esperanto translations, Terms with Estonian translations, Terms with Finnish translations, Terms with French translations, Terms with German translations, Terms with Greek translations, Terms with Hebrew translations, Terms with Hindi translations, Terms with Hungarian translations, Terms with Indonesian translations, Terms with Iranian Persian translations, Terms with Irish translations, Terms with Italian translations, Terms with Japanese translations, Terms with Korean translations, Terms with Latvian translations, Terms with Lithuanian translations, Terms with Macedonian translations, Terms with Mandarin translations, Terms with Norwegian Bokmål translations, Terms with Persian translations, Terms with Polish translations, Terms with Portuguese translations, Terms with Romanian translations, Terms with Russian translations, Terms with Scottish Gaelic translations, Terms with Serbo-Croatian translations, Terms with Slovak translations, Terms with Slovene translations, Terms with Spanish translations, Terms with Swedish translations, Terms with Tajik translations, Terms with Thai translations, Terms with Turkish translations, Terms with Ukrainian translations, Terms with Uzbek translations, Terms with Vietnamese translations, Linguistics, Logic, Mathematics, Theory of computing Topics: computing, computing-theory, engineering, mathematics, natural-sciences, physical-sciences, sciences

Inflected forms

{
  "forms": [
    {
      "form": "formal languages",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "formal language (plural formal languages)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        {
          "kind": "other",
          "name": "Arabic terms with non-redundant manual transliterations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Entries with translation boxes",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages with 1 entry",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages with entries",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Afrikaans translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Albanian translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Arabic translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Azerbaijani translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Belarusian translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Bulgarian translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Czech translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Danish translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Dutch translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Esperanto translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Estonian translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Finnish translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with French translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with German translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Greek translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Hebrew translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Hindi translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Hungarian translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Indonesian translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Iranian Persian translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Irish translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Italian translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Japanese translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Korean translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Latvian translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Lithuanian translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Macedonian translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Mandarin translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Norwegian Bokmål translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Persian translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Polish translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Portuguese translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Romanian translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Russian translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Scottish Gaelic translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Serbo-Croatian translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Slovak translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Slovene translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Spanish translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Swedish translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Tajik translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Thai translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Turkish translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Ukrainian translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Uzbek translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Vietnamese translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "langcode": "en",
          "name": "Linguistics",
          "orig": "en:Linguistics",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "langcode": "en",
          "name": "Logic",
          "orig": "en:Logic",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "langcode": "en",
          "name": "Mathematics",
          "orig": "en:Mathematics",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "langcode": "en",
          "name": "Theory of computing",
          "orig": "en:Theory of computing",
          "parents": [],
          "source": "w"
        }
      ],
      "glosses": [
        "A set of finite strings (called words) made of symbols (from a finite set of symbols, called an alphabet)."
      ],
      "holonyms": [
        {
          "word": "formal system"
        }
      ],
      "hyponyms": [
        {
          "word": "regular language"
        }
      ],
      "id": "en-formal_language-en-noun-LzD2ngoP",
      "links": [
        [
          "computing",
          "computing#Noun"
        ],
        [
          "theory",
          "theory"
        ],
        [
          "set",
          "set#English"
        ],
        [
          "strings",
          "string#English"
        ],
        [
          "words",
          "word#English"
        ],
        [
          "symbols",
          "symbol#English"
        ],
        [
          "alphabet",
          "alphabet#English"
        ]
      ],
      "meronyms": [
        {
          "word": "alphabet"
        },
        {
          "word": "symbol"
        },
        {
          "word": "word"
        }
      ],
      "raw_glosses": [
        "(computing theory) A set of finite strings (called words) made of symbols (from a finite set of symbols, called an alphabet)."
      ],
      "topics": [
        "computing",
        "computing-theory",
        "engineering",
        "mathematics",
        "natural-sciences",
        "physical-sciences",
        "sciences"
      ],
      "translations": [
        {
          "code": "af",
          "lang": "Afrikaans",
          "lang_code": "af",
          "sense": "set of finite strings",
          "word": "formele taal"
        },
        {
          "code": "sq",
          "lang": "Albanian",
          "lang_code": "sq",
          "sense": "set of finite strings",
          "tags": [
            "feminine"
          ],
          "word": "gjuhë formale"
        },
        {
          "code": "ar",
          "lang": "Arabic",
          "lang_code": "ar",
          "roman": "luḡa rasmiyya",
          "sense": "set of finite strings",
          "tags": [
            "feminine"
          ],
          "word": "لُغَة رَسْمِيَّة"
        },
        {
          "code": "ar",
          "lang": "Arabic",
          "lang_code": "ar",
          "roman": "luḡa mutaṣarrifa",
          "sense": "set of finite strings",
          "tags": [
            "feminine"
          ],
          "word": "لُغَة مُتَصَرِّفَة"
        },
        {
          "code": "ar",
          "lang": "Arabic",
          "lang_code": "ar",
          "roman": "luḡa ṣūriyya",
          "sense": "set of finite strings",
          "tags": [
            "feminine"
          ],
          "word": "لُغَة صُورِيَّة"
        },
        {
          "code": "az",
          "lang": "Azerbaijani",
          "lang_code": "az",
          "sense": "set of finite strings",
          "word": "rəsmi dil"
        },
        {
          "code": "be",
          "lang": "Belarusian",
          "lang_code": "be",
          "roman": "farmálʹnaja móva",
          "sense": "set of finite strings",
          "tags": [
            "feminine"
          ],
          "word": "фарма́льная мо́ва"
        },
        {
          "code": "bg",
          "lang": "Bulgarian",
          "lang_code": "bg",
          "roman": "formálen ezík",
          "sense": "set of finite strings",
          "tags": [
            "masculine"
          ],
          "word": "форма́лен ези́к"
        },
        {
          "code": "cmn",
          "lang": "Chinese Mandarin",
          "lang_code": "cmn",
          "roman": "xíngshì yǔyán",
          "sense": "set of finite strings",
          "word": "形式語言 /形式语言"
        },
        {
          "code": "cs",
          "lang": "Czech",
          "lang_code": "cs",
          "sense": "set of finite strings",
          "tags": [
            "masculine"
          ],
          "word": "formální jazyk"
        },
        {
          "code": "da",
          "lang": "Danish",
          "lang_code": "da",
          "sense": "set of finite strings",
          "tags": [
            "neuter"
          ],
          "word": "formalsprog"
        },
        {
          "code": "nl",
          "lang": "Dutch",
          "lang_code": "nl",
          "sense": "set of finite strings",
          "tags": [
            "feminine",
            "masculine"
          ],
          "word": "formele taal"
        },
        {
          "code": "eo",
          "lang": "Esperanto",
          "lang_code": "eo",
          "sense": "set of finite strings",
          "word": "formala lingvo"
        },
        {
          "code": "eo",
          "lang": "Esperanto",
          "lang_code": "eo",
          "sense": "set of finite strings",
          "word": "artefarita lingvo"
        },
        {
          "code": "et",
          "lang": "Estonian",
          "lang_code": "et",
          "sense": "set of finite strings",
          "word": "ametlik keel"
        },
        {
          "code": "fi",
          "lang": "Finnish",
          "lang_code": "fi",
          "sense": "set of finite strings",
          "word": "formaali kieli"
        },
        {
          "code": "fr",
          "lang": "French",
          "lang_code": "fr",
          "sense": "set of finite strings",
          "tags": [
            "masculine"
          ],
          "word": "langage formel"
        },
        {
          "code": "de",
          "lang": "German",
          "lang_code": "de",
          "sense": "set of finite strings",
          "tags": [
            "feminine"
          ],
          "word": "formale Sprache"
        },
        {
          "code": "el",
          "lang": "Greek",
          "lang_code": "el",
          "roman": "typikí glóssa",
          "sense": "set of finite strings",
          "tags": [
            "feminine"
          ],
          "word": "τυπική γλώσσα"
        },
        {
          "code": "he",
          "lang": "Hebrew",
          "lang_code": "he",
          "roman": "safá formalít",
          "sense": "set of finite strings",
          "tags": [
            "feminine"
          ],
          "word": "שָׂפָה פוֹרְמָלִית"
        },
        {
          "code": "he",
          "lang": "Hebrew",
          "lang_code": "he",
          "roman": "safá rishmít",
          "sense": "set of finite strings",
          "tags": [
            "feminine"
          ],
          "word": "שָׂפָה רִשְׁמִית"
        },
        {
          "code": "hi",
          "lang": "Hindi",
          "lang_code": "hi",
          "roman": "aupcārik bhāṣā",
          "sense": "set of finite strings",
          "tags": [
            "feminine"
          ],
          "word": "औपचारिक भाषा"
        },
        {
          "code": "hu",
          "lang": "Hungarian",
          "lang_code": "hu",
          "sense": "set of finite strings",
          "word": "formális nyelv"
        },
        {
          "code": "id",
          "lang": "Indonesian",
          "lang_code": "id",
          "sense": "set of finite strings",
          "word": "bahasa formal"
        },
        {
          "code": "ga",
          "lang": "Irish",
          "lang_code": "ga",
          "sense": "set of finite strings",
          "tags": [
            "feminine"
          ],
          "word": "teanga fhoirmiúil"
        },
        {
          "code": "it",
          "lang": "Italian",
          "lang_code": "it",
          "sense": "set of finite strings",
          "tags": [
            "masculine"
          ],
          "word": "linguaggio formale"
        },
        {
          "alt": "けいしきげんご",
          "code": "ja",
          "lang": "Japanese",
          "lang_code": "ja",
          "roman": "keishiki gengo",
          "sense": "set of finite strings",
          "word": "形式言語"
        },
        {
          "alt": "形式言語",
          "code": "ko",
          "lang": "Korean",
          "lang_code": "ko",
          "roman": "hyeongsik eoneo",
          "sense": "set of finite strings",
          "word": "형식 언어"
        },
        {
          "code": "lv",
          "lang": "Latvian",
          "lang_code": "lv",
          "sense": "set of finite strings",
          "tags": [
            "feminine"
          ],
          "word": "formāla valoda"
        },
        {
          "code": "lt",
          "lang": "Lithuanian",
          "lang_code": "lt",
          "sense": "set of finite strings",
          "tags": [
            "feminine"
          ],
          "word": "formalioji kalba"
        },
        {
          "code": "mk",
          "lang": "Macedonian",
          "lang_code": "mk",
          "roman": "formálen jazik",
          "sense": "set of finite strings",
          "tags": [
            "masculine"
          ],
          "word": "форма́лен јазик"
        },
        {
          "code": "nb",
          "lang": "Norwegian Bokmål",
          "lang_code": "nb",
          "sense": "set of finite strings",
          "tags": [
            "neuter"
          ],
          "word": "formelt språk"
        },
        {
          "code": "fa-ira",
          "lang": "Iranian Persian",
          "lang_code": "fa-ira",
          "roman": "zabân-e suri",
          "sense": "set of finite strings",
          "word": "زَبانِ صوری"
        },
        {
          "code": "pl",
          "lang": "Polish",
          "lang_code": "pl",
          "sense": "set of finite strings",
          "tags": [
            "masculine"
          ],
          "word": "język formalny"
        },
        {
          "code": "pt",
          "lang": "Portuguese",
          "lang_code": "pt",
          "sense": "set of finite strings",
          "tags": [
            "feminine"
          ],
          "word": "linguagem formal"
        },
        {
          "code": "ro",
          "lang": "Romanian",
          "lang_code": "ro",
          "sense": "set of finite strings",
          "tags": [
            "neuter"
          ],
          "word": "limbaj formal"
        },
        {
          "code": "ru",
          "lang": "Russian",
          "lang_code": "ru",
          "roman": "formálʹnyj jazýk",
          "sense": "set of finite strings",
          "word": "форма́льный язы́к"
        },
        {
          "code": "gd",
          "lang": "Scottish Gaelic",
          "lang_code": "gd",
          "sense": "set of finite strings",
          "tags": [
            "feminine"
          ],
          "word": "cainnt foirmeil"
        },
        {
          "code": "sh",
          "lang": "Serbo-Croatian",
          "lang_code": "sh",
          "sense": "set of finite strings",
          "tags": [
            "Cyrillic",
            "masculine"
          ],
          "word": "формални језик"
        },
        {
          "code": "sh",
          "lang": "Serbo-Croatian",
          "lang_code": "sh",
          "sense": "set of finite strings",
          "tags": [
            "Latin",
            "masculine"
          ],
          "word": "formalni jezik"
        },
        {
          "code": "sk",
          "lang": "Slovak",
          "lang_code": "sk",
          "sense": "set of finite strings",
          "tags": [
            "masculine"
          ],
          "word": "formálny jazyk"
        },
        {
          "code": "sl",
          "lang": "Slovene",
          "lang_code": "sl",
          "sense": "set of finite strings",
          "tags": [
            "masculine"
          ],
          "word": "formalni jezik"
        },
        {
          "code": "es",
          "lang": "Spanish",
          "lang_code": "es",
          "sense": "set of finite strings",
          "tags": [
            "masculine"
          ],
          "word": "lenguaje formal"
        },
        {
          "code": "sv",
          "lang": "Swedish",
          "lang_code": "sv",
          "sense": "set of finite strings",
          "tags": [
            "neuter"
          ],
          "word": "formellt språk"
        },
        {
          "code": "tg",
          "lang": "Tajik",
          "lang_code": "tg",
          "roman": "zabon-i suri",
          "sense": "set of finite strings",
          "word": "забони сурӣ"
        },
        {
          "code": "th",
          "lang": "Thai",
          "lang_code": "th",
          "roman": "paa-sǎa-bɛ̀ɛp-pɛ̌ɛn",
          "sense": "set of finite strings",
          "word": "ภาษาแบบแผน"
        },
        {
          "code": "tr",
          "lang": "Turkish",
          "lang_code": "tr",
          "sense": "set of finite strings",
          "word": "resmi dil"
        },
        {
          "code": "uk",
          "lang": "Ukrainian",
          "lang_code": "uk",
          "roman": "formálʹna móva",
          "sense": "set of finite strings",
          "tags": [
            "feminine"
          ],
          "word": "форма́льна мо́ва"
        },
        {
          "code": "uz",
          "lang": "Uzbek",
          "lang_code": "uz",
          "sense": "set of finite strings",
          "word": "rasmiy til"
        },
        {
          "code": "vi",
          "lang": "Vietnamese",
          "lang_code": "vi",
          "sense": "set of finite strings",
          "word": "ngôn ngữ hình thức"
        },
        {
          "code": "vi",
          "lang": "Vietnamese",
          "lang_code": "vi",
          "sense": "set of finite strings",
          "word": "ký ngữ hình thức"
        }
      ]
    }
  ],
  "sounds": [
    {
      "audio": "LL-Q1860 (eng)-Vealhurl-formal language.wav",
      "mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/b/b4/LL-Q1860_%28eng%29-Vealhurl-formal_language.wav/LL-Q1860_%28eng%29-Vealhurl-formal_language.wav.mp3",
      "ogg_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/b/b4/LL-Q1860_%28eng%29-Vealhurl-formal_language.wav/LL-Q1860_%28eng%29-Vealhurl-formal_language.wav.ogg"
    }
  ],
  "word": "formal language"
}
{
  "forms": [
    {
      "form": "formal languages",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "formal language (plural formal languages)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        "Arabic terms with non-redundant manual transliterations",
        "English countable nouns",
        "English entries with incorrect language header",
        "English lemmas",
        "English multiword terms",
        "English nouns",
        "Entries with translation boxes",
        "Pages with 1 entry",
        "Pages with entries",
        "Terms with Afrikaans translations",
        "Terms with Albanian translations",
        "Terms with Arabic translations",
        "Terms with Azerbaijani translations",
        "Terms with Belarusian translations",
        "Terms with Bulgarian translations",
        "Terms with Czech translations",
        "Terms with Danish translations",
        "Terms with Dutch translations",
        "Terms with Esperanto translations",
        "Terms with Estonian translations",
        "Terms with Finnish translations",
        "Terms with French translations",
        "Terms with German translations",
        "Terms with Greek translations",
        "Terms with Hebrew translations",
        "Terms with Hindi translations",
        "Terms with Hungarian translations",
        "Terms with Indonesian translations",
        "Terms with Iranian Persian translations",
        "Terms with Irish translations",
        "Terms with Italian translations",
        "Terms with Japanese translations",
        "Terms with Korean translations",
        "Terms with Latvian translations",
        "Terms with Lithuanian translations",
        "Terms with Macedonian translations",
        "Terms with Mandarin translations",
        "Terms with Norwegian Bokmål translations",
        "Terms with Persian translations",
        "Terms with Polish translations",
        "Terms with Portuguese translations",
        "Terms with Romanian translations",
        "Terms with Russian translations",
        "Terms with Scottish Gaelic translations",
        "Terms with Serbo-Croatian translations",
        "Terms with Slovak translations",
        "Terms with Slovene translations",
        "Terms with Spanish translations",
        "Terms with Swedish translations",
        "Terms with Tajik translations",
        "Terms with Thai translations",
        "Terms with Turkish translations",
        "Terms with Ukrainian translations",
        "Terms with Uzbek translations",
        "Terms with Vietnamese translations",
        "en:Linguistics",
        "en:Logic",
        "en:Mathematics",
        "en:Theory of computing"
      ],
      "glosses": [
        "A set of finite strings (called words) made of symbols (from a finite set of symbols, called an alphabet)."
      ],
      "holonyms": [
        {
          "word": "formal system"
        }
      ],
      "hyponyms": [
        {
          "word": "regular language"
        }
      ],
      "links": [
        [
          "computing",
          "computing#Noun"
        ],
        [
          "theory",
          "theory"
        ],
        [
          "set",
          "set#English"
        ],
        [
          "strings",
          "string#English"
        ],
        [
          "words",
          "word#English"
        ],
        [
          "symbols",
          "symbol#English"
        ],
        [
          "alphabet",
          "alphabet#English"
        ]
      ],
      "meronyms": [
        {
          "word": "alphabet"
        },
        {
          "word": "symbol"
        },
        {
          "word": "word"
        }
      ],
      "raw_glosses": [
        "(computing theory) A set of finite strings (called words) made of symbols (from a finite set of symbols, called an alphabet)."
      ],
      "topics": [
        "computing",
        "computing-theory",
        "engineering",
        "mathematics",
        "natural-sciences",
        "physical-sciences",
        "sciences"
      ]
    }
  ],
  "sounds": [
    {
      "audio": "LL-Q1860 (eng)-Vealhurl-formal language.wav",
      "mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/b/b4/LL-Q1860_%28eng%29-Vealhurl-formal_language.wav/LL-Q1860_%28eng%29-Vealhurl-formal_language.wav.mp3",
      "ogg_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/b/b4/LL-Q1860_%28eng%29-Vealhurl-formal_language.wav/LL-Q1860_%28eng%29-Vealhurl-formal_language.wav.ogg"
    }
  ],
  "translations": [
    {
      "code": "af",
      "lang": "Afrikaans",
      "lang_code": "af",
      "sense": "set of finite strings",
      "word": "formele taal"
    },
    {
      "code": "sq",
      "lang": "Albanian",
      "lang_code": "sq",
      "sense": "set of finite strings",
      "tags": [
        "feminine"
      ],
      "word": "gjuhë formale"
    },
    {
      "code": "ar",
      "lang": "Arabic",
      "lang_code": "ar",
      "roman": "luḡa rasmiyya",
      "sense": "set of finite strings",
      "tags": [
        "feminine"
      ],
      "word": "لُغَة رَسْمِيَّة"
    },
    {
      "code": "ar",
      "lang": "Arabic",
      "lang_code": "ar",
      "roman": "luḡa mutaṣarrifa",
      "sense": "set of finite strings",
      "tags": [
        "feminine"
      ],
      "word": "لُغَة مُتَصَرِّفَة"
    },
    {
      "code": "ar",
      "lang": "Arabic",
      "lang_code": "ar",
      "roman": "luḡa ṣūriyya",
      "sense": "set of finite strings",
      "tags": [
        "feminine"
      ],
      "word": "لُغَة صُورِيَّة"
    },
    {
      "code": "az",
      "lang": "Azerbaijani",
      "lang_code": "az",
      "sense": "set of finite strings",
      "word": "rəsmi dil"
    },
    {
      "code": "be",
      "lang": "Belarusian",
      "lang_code": "be",
      "roman": "farmálʹnaja móva",
      "sense": "set of finite strings",
      "tags": [
        "feminine"
      ],
      "word": "фарма́льная мо́ва"
    },
    {
      "code": "bg",
      "lang": "Bulgarian",
      "lang_code": "bg",
      "roman": "formálen ezík",
      "sense": "set of finite strings",
      "tags": [
        "masculine"
      ],
      "word": "форма́лен ези́к"
    },
    {
      "code": "cmn",
      "lang": "Chinese Mandarin",
      "lang_code": "cmn",
      "roman": "xíngshì yǔyán",
      "sense": "set of finite strings",
      "word": "形式語言 /形式语言"
    },
    {
      "code": "cs",
      "lang": "Czech",
      "lang_code": "cs",
      "sense": "set of finite strings",
      "tags": [
        "masculine"
      ],
      "word": "formální jazyk"
    },
    {
      "code": "da",
      "lang": "Danish",
      "lang_code": "da",
      "sense": "set of finite strings",
      "tags": [
        "neuter"
      ],
      "word": "formalsprog"
    },
    {
      "code": "nl",
      "lang": "Dutch",
      "lang_code": "nl",
      "sense": "set of finite strings",
      "tags": [
        "feminine",
        "masculine"
      ],
      "word": "formele taal"
    },
    {
      "code": "eo",
      "lang": "Esperanto",
      "lang_code": "eo",
      "sense": "set of finite strings",
      "word": "formala lingvo"
    },
    {
      "code": "eo",
      "lang": "Esperanto",
      "lang_code": "eo",
      "sense": "set of finite strings",
      "word": "artefarita lingvo"
    },
    {
      "code": "et",
      "lang": "Estonian",
      "lang_code": "et",
      "sense": "set of finite strings",
      "word": "ametlik keel"
    },
    {
      "code": "fi",
      "lang": "Finnish",
      "lang_code": "fi",
      "sense": "set of finite strings",
      "word": "formaali kieli"
    },
    {
      "code": "fr",
      "lang": "French",
      "lang_code": "fr",
      "sense": "set of finite strings",
      "tags": [
        "masculine"
      ],
      "word": "langage formel"
    },
    {
      "code": "de",
      "lang": "German",
      "lang_code": "de",
      "sense": "set of finite strings",
      "tags": [
        "feminine"
      ],
      "word": "formale Sprache"
    },
    {
      "code": "el",
      "lang": "Greek",
      "lang_code": "el",
      "roman": "typikí glóssa",
      "sense": "set of finite strings",
      "tags": [
        "feminine"
      ],
      "word": "τυπική γλώσσα"
    },
    {
      "code": "he",
      "lang": "Hebrew",
      "lang_code": "he",
      "roman": "safá formalít",
      "sense": "set of finite strings",
      "tags": [
        "feminine"
      ],
      "word": "שָׂפָה פוֹרְמָלִית"
    },
    {
      "code": "he",
      "lang": "Hebrew",
      "lang_code": "he",
      "roman": "safá rishmít",
      "sense": "set of finite strings",
      "tags": [
        "feminine"
      ],
      "word": "שָׂפָה רִשְׁמִית"
    },
    {
      "code": "hi",
      "lang": "Hindi",
      "lang_code": "hi",
      "roman": "aupcārik bhāṣā",
      "sense": "set of finite strings",
      "tags": [
        "feminine"
      ],
      "word": "औपचारिक भाषा"
    },
    {
      "code": "hu",
      "lang": "Hungarian",
      "lang_code": "hu",
      "sense": "set of finite strings",
      "word": "formális nyelv"
    },
    {
      "code": "id",
      "lang": "Indonesian",
      "lang_code": "id",
      "sense": "set of finite strings",
      "word": "bahasa formal"
    },
    {
      "code": "ga",
      "lang": "Irish",
      "lang_code": "ga",
      "sense": "set of finite strings",
      "tags": [
        "feminine"
      ],
      "word": "teanga fhoirmiúil"
    },
    {
      "code": "it",
      "lang": "Italian",
      "lang_code": "it",
      "sense": "set of finite strings",
      "tags": [
        "masculine"
      ],
      "word": "linguaggio formale"
    },
    {
      "alt": "けいしきげんご",
      "code": "ja",
      "lang": "Japanese",
      "lang_code": "ja",
      "roman": "keishiki gengo",
      "sense": "set of finite strings",
      "word": "形式言語"
    },
    {
      "alt": "形式言語",
      "code": "ko",
      "lang": "Korean",
      "lang_code": "ko",
      "roman": "hyeongsik eoneo",
      "sense": "set of finite strings",
      "word": "형식 언어"
    },
    {
      "code": "lv",
      "lang": "Latvian",
      "lang_code": "lv",
      "sense": "set of finite strings",
      "tags": [
        "feminine"
      ],
      "word": "formāla valoda"
    },
    {
      "code": "lt",
      "lang": "Lithuanian",
      "lang_code": "lt",
      "sense": "set of finite strings",
      "tags": [
        "feminine"
      ],
      "word": "formalioji kalba"
    },
    {
      "code": "mk",
      "lang": "Macedonian",
      "lang_code": "mk",
      "roman": "formálen jazik",
      "sense": "set of finite strings",
      "tags": [
        "masculine"
      ],
      "word": "форма́лен јазик"
    },
    {
      "code": "nb",
      "lang": "Norwegian Bokmål",
      "lang_code": "nb",
      "sense": "set of finite strings",
      "tags": [
        "neuter"
      ],
      "word": "formelt språk"
    },
    {
      "code": "fa-ira",
      "lang": "Iranian Persian",
      "lang_code": "fa-ira",
      "roman": "zabân-e suri",
      "sense": "set of finite strings",
      "word": "زَبانِ صوری"
    },
    {
      "code": "pl",
      "lang": "Polish",
      "lang_code": "pl",
      "sense": "set of finite strings",
      "tags": [
        "masculine"
      ],
      "word": "język formalny"
    },
    {
      "code": "pt",
      "lang": "Portuguese",
      "lang_code": "pt",
      "sense": "set of finite strings",
      "tags": [
        "feminine"
      ],
      "word": "linguagem formal"
    },
    {
      "code": "ro",
      "lang": "Romanian",
      "lang_code": "ro",
      "sense": "set of finite strings",
      "tags": [
        "neuter"
      ],
      "word": "limbaj formal"
    },
    {
      "code": "ru",
      "lang": "Russian",
      "lang_code": "ru",
      "roman": "formálʹnyj jazýk",
      "sense": "set of finite strings",
      "word": "форма́льный язы́к"
    },
    {
      "code": "gd",
      "lang": "Scottish Gaelic",
      "lang_code": "gd",
      "sense": "set of finite strings",
      "tags": [
        "feminine"
      ],
      "word": "cainnt foirmeil"
    },
    {
      "code": "sh",
      "lang": "Serbo-Croatian",
      "lang_code": "sh",
      "sense": "set of finite strings",
      "tags": [
        "Cyrillic",
        "masculine"
      ],
      "word": "формални језик"
    },
    {
      "code": "sh",
      "lang": "Serbo-Croatian",
      "lang_code": "sh",
      "sense": "set of finite strings",
      "tags": [
        "Latin",
        "masculine"
      ],
      "word": "formalni jezik"
    },
    {
      "code": "sk",
      "lang": "Slovak",
      "lang_code": "sk",
      "sense": "set of finite strings",
      "tags": [
        "masculine"
      ],
      "word": "formálny jazyk"
    },
    {
      "code": "sl",
      "lang": "Slovene",
      "lang_code": "sl",
      "sense": "set of finite strings",
      "tags": [
        "masculine"
      ],
      "word": "formalni jezik"
    },
    {
      "code": "es",
      "lang": "Spanish",
      "lang_code": "es",
      "sense": "set of finite strings",
      "tags": [
        "masculine"
      ],
      "word": "lenguaje formal"
    },
    {
      "code": "sv",
      "lang": "Swedish",
      "lang_code": "sv",
      "sense": "set of finite strings",
      "tags": [
        "neuter"
      ],
      "word": "formellt språk"
    },
    {
      "code": "tg",
      "lang": "Tajik",
      "lang_code": "tg",
      "roman": "zabon-i suri",
      "sense": "set of finite strings",
      "word": "забони сурӣ"
    },
    {
      "code": "th",
      "lang": "Thai",
      "lang_code": "th",
      "roman": "paa-sǎa-bɛ̀ɛp-pɛ̌ɛn",
      "sense": "set of finite strings",
      "word": "ภาษาแบบแผน"
    },
    {
      "code": "tr",
      "lang": "Turkish",
      "lang_code": "tr",
      "sense": "set of finite strings",
      "word": "resmi dil"
    },
    {
      "code": "uk",
      "lang": "Ukrainian",
      "lang_code": "uk",
      "roman": "formálʹna móva",
      "sense": "set of finite strings",
      "tags": [
        "feminine"
      ],
      "word": "форма́льна мо́ва"
    },
    {
      "code": "uz",
      "lang": "Uzbek",
      "lang_code": "uz",
      "sense": "set of finite strings",
      "word": "rasmiy til"
    },
    {
      "code": "vi",
      "lang": "Vietnamese",
      "lang_code": "vi",
      "sense": "set of finite strings",
      "word": "ngôn ngữ hình thức"
    },
    {
      "code": "vi",
      "lang": "Vietnamese",
      "lang_code": "vi",
      "sense": "set of finite strings",
      "word": "ký ngữ hình thức"
    }
  ],
  "word": "formal language"
}

Download raw JSONL data for formal language meaning in English (10.7kB)


This page is a part of the kaikki.org machine-readable English dictionary. This dictionary is based on structured data extracted on 2026-03-25 from the enwiktionary dump dated 2026-03-03 using wiktextract (05c257f and 9d9a410). The data shown on this site has been post-processed and various details (e.g., extra categories) removed, some information disambiguated, and additional data merged from other sources. See the raw data download page for the unprocessed wiktextract data.

If you use this data in academic research, please cite Tatu Ylonen: Wiktextract: Wiktionary as Machine-Readable Structured Data, Proceedings of the 13th Conference on Language Resources and Evaluation (LREC), pp. 1317-1325, Marseille, 20-25 June 2022. Linking to the relevant page(s) under https://kaikki.org would also be greatly appreciated.